Up 4000, An Intel-Based Raspberry Pi Alternative Is Currently Available For Around $116